Nuprl Lemma : es-mtag_wf 11,40

the_es:ES, m:Msg. mtag(m Id 
latex


Definitionsx:AB(x), Msg, t  T, mtag(m), es-M(es), t.1, t.2, ES
Lemmasmtag wf, Msg wf, event system wf

origin